1

Dedekind's Abstract Concepts: Models and Mappings

Year:
2014
Language:
english
File:
PDF, 584 KB
english, 2014
4

Dedekind’s Analysis of Number: Systems and Axioms

Year:
2005
Language:
english
File:
PDF, 416 KB
english, 2005
6

Beyond Realism: Siegfried Kracauer and the Ornaments of the Ordinary

Year:
2010
Language:
english
File:
PDF, 234 KB
english, 2010
8

Godel on computability

Year:
2006
Language:
english
File:
PDF, 125 KB
english, 2006
9

Philosophy of Computer Science || An Abstract Model for Parallel Computations: Gandy's Thesis

Year:
1999
Language:
english
File:
PDF, 1.01 MB
english, 1999
10

Reflections on Frege and Hilbert || Dedekind's Analysis of Number: Systems and Axioms

Year:
2005
Language:
english
File:
PDF, 5.68 MB
english, 2005
13

A Demonstration of the Infrared Activity of Carbon Dioxide

Year:
2019
Language:
english
File:
PDF, 574 KB
english, 2019
18

Admission, Tuition, and Financial Aid Policies in the Market for Higher Education

Year:
2006
Language:
english
File:
PDF, 340 KB
english, 2006
19

ON THE “QUANTUM” THEORY OF LIGHT

Year:
1914
Language:
english
File:
PDF, 347 KB
english, 1914
20

Tocharische Sprachreste: Sprache B

Year:
1950
Language:
english
File:
PDF, 346 KB
english, 1950
22

Herbrand analyses

Year:
1991
Language:
english
File:
PDF, 1.96 MB
english, 1991
26

Foundations for analysis and proof theory

Year:
1984
Language:
english
File:
PDF, 2.18 MB
english, 1984
28

A Symposium on Hilbert's Program

Year:
1988
Language:
english
File:
PDF, 181 KB
english, 1988
29

On the “Quantum” Theory of Light

Year:
1914
Language:
english
File:
PDF, 434 KB
english, 1914
33

Step by Recursive Step: Church's Analysis of Effective Calculability

Year:
1997
Language:
english
File:
PDF, 731 KB
english, 1997
36

W. AVERELL HARRIMAN, HENRY CABOT LODGE, AND THE QUEST FOR PEACE IN VIETNAM

Year:
1995
Language:
english
File:
PDF, 656 KB
english, 1995
37

Kundennutzen: die Basis für den Verkauf ||

Year:
2013
Language:
english
File:
PDF, 592 KB
english, 2013
40

Philosophy of Mathematics || ON COMPUTABILITY

Year:
2009
Language:
english
File:
PDF, 6.69 MB
english, 2009
41

Automated search for Gödel’s proofs

Year:
2005
Language:
english
File:
PDF, 223 KB
english, 2005
42

Autism and Ehlers-Danlos Syndrome

Year:
1992
Language:
english
File:
PDF, 876 KB
english, 1992
43

Natural Deduction || Normal Natural Deduction Proofs (In Classical Logic)

Year:
1998
Language:
english
File:
PDF, 3.62 MB
english, 1998
44

Numerical benchmarking study of a Cycloidal Wave Energy Converter

Year:
2018
Language:
english
File:
PDF, 3.59 MB
english, 2018
48

Diagnostic and therapeutic applications of iontophoresis

Year:
2009
Language:
english
File:
PDF, 1.56 MB
english, 2009
49

Only Two Letters: The Correspondence between Herbrand and Gödel

Year:
2005
Language:
english
File:
PDF, 1.58 MB
english, 2005
50

Identity Politics Forum

Year:
2012
Language:
english
File:
PDF, 207 KB
english, 2012